elementary propositions